Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
predicate logic relational calculus HiLog PPLambda predicate calculus Second-Order Lambda-calculus lambda-calculus polymorphic lambda-calculus domain calculus filter logic set tuple calculus Bird-Meertens Formalism propositional logic equational logic XSB TABLOG Church integer first-order logic typed lambda-calculus fuzzy logic inclusive CHOCS lambda expression Lambada-Calculus pure lambda-calculus Codd's reduction algorithm head normalisation theorem TALE Calculus of Communicating Systems SOL nu-calculus traversal Z Isabelle beta reduction Computational Adequacy Theorem combinator higher-order macro quantifier temporal logic Darwin 6.001 delta reduction network byte order order-embedding ASCIIbetical order HOL goal data flow analysis Hollerithabetical order Baudotbetical order Fun SweetLambda LOP backing store CIRCAL SLIPS pre-order more...